3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
14235 | Saying 'they can become a set' is a tautology, because reference to 'they' implies a collection [Cargile] |
7295 | Maybe induction is only reliable IF reality is stable [Mitchell,A] |